12 ideas
21901 | 'Difference' refers to that which eludes capture [Deleuze, by May] |
17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
18253 | I wish to go straight from cardinals to reals (as ratios), leaving out the rationals [Frege] |
17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
18166 | The loss of my Rule V seems to make foundations for arithmetic impossible [Frege] |
21908 | Ontology can be continual creation, not to know being, but to probe the unknowable [Deleuze] |
21902 | 'Being' is univocal, but its subject matter is actually 'difference' [Deleuze] |
21903 | Ontology does not tell what there is; it is just a strange adventure [Deleuze, by May] |
21904 | Being is a problem to be engaged, not solved, and needs a new mode of thinking [Deleuze, by May] |
18269 | Logical objects are extensions of concepts, or ranges of values of functions [Frege] |